An Effective Verification and Validation Strategy for Safety-Critical Embedded Systems
نویسندگان
چکیده
منابع مشابه
Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications
First and foremost, I must thank my research supervisor Prof. Nicola Mazzocca. Without his support and expertise this thesis may never have been completed. Thank you very much for your encouragement and understanding over these past four years. I must thank also Ansaldo STS and Intecs companies, for offering me the international experience at Ansaldo STS USA in Pittsburgh and for the exciting p...
متن کاملdevelopment and implementation of an optimized control strategy for induction machine in an electric vehicle
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
15 صفحه اولSafety-critical Java for embedded systems
StringBuilder 447 / 237 2 / 6 52 (50) / 29 (26) 2 / 2 StringBuilder 189 / 119 1 / 1 38 (35) / 19 (18) 4 / 4 DataInputStream 212 / 108 4 / 5 18 (18) / 17 (17) 1 / 1 DataInputStream$ReadUtfHelper – / 77 – / 2 – / 1 – / 1 DataInputStream$1 – / 6 – / 0 – / 1 – / 0 Vector 322 / 228 4 / 7 48 (45) / 36 (35) 4 / 2 Vector$1 14 / 14 1 / 1 2 / 2 0 / 0 Vector$Itr 33 / 33 3 / 3 4 / 4 0 / 0 Vector$ListItr 43...
متن کاملBus Architectures for Safety-Critical Embedded Systems
Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mechanisms and services that provide protection against fault propagation and ease the construction of distributed fault-tolerant applications. A number of bus architectures have been developed to satisfy this need. This paper reviews...
متن کاملDesign patterns for safety-critical embedded systems
Over the last few years, embedded systems have been increasingly used in safetycritical applications where failure can have serious consequences. The design of these systems is a complex process, which is requiring the integration of common design methods both in hardware and software to fulfill functional and non-functional requirements for these safety-critical applications. Design patterns, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Software Engineering & Applications
سال: 2013
ISSN: 0976-2221,0975-9018
DOI: 10.5121/ijsea.2013.4209